Concurrency and Synchronisation in Actel

Cross Cutting Condensed Graphs

Condensed Graphs provide a graph based programming model that unifies availability-driven, coerciondriven and control-driven computing. In this paper we explore the issues of concurrency and synchronisation between condensed graph applications. A paradigm for condensed graph synchronisation is proposed and an architectural pattern is developed that forms the basis of a novel synchronisation mec...

TAO - a model for the integration of concurrency and synchronisation in object-oriented programming

The integration of concurrency into inheritance has been attempted in a number of languages. However, some of the compromises made have seriously degraded the usefulness of these languages. Hence none of these languages have been totally successful. A particular problem has been the “inheritance anomaly” caused by interactions between synchronisation mechanisms and inheritance. This thesis intr...

Ownership Types for Object Synchronisation

Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a lack of modularity and compile-time support. This paper exploits object structures, provided by ownership types, to enable a structured synchronisation scheme which guarantees safe...

Concurrency, Synchronisation and Objects

Effective Synchronisation of Concurrent Objects: Laying the Inheritance Anomaly to Rest

The integration of concurrency and object-oriented programming has been a goal of researchers for over a decade. To date, attempts to address reuse conflicts, known as “inheritance anomalies”, have been limited in applicability and have not addressed all the issues that synchronisation raises. In this paper we take a detailed look at synchronisation by investigating five different aspects which...